#ifndef _witness_h_INCLUDED
#define _witness_h_INCLUDED

struct kissat;

void
kissat_mab_print_witness(struct kissat*, int max_var, bool partial);

#endif
